Handbook of Satisfiability (2021)
iospress.com·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
The Old Fisherman's Mistake
onlinelibrary.wiley.com·2h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·2d·
Discuss: Hacker News
🌡Entropy
Flag this post
Research roundup: 6 cool science stories we almost missed
arstechnica.com·2d
⚙Complex ststems
Flag this post
Moon Duchin on the Math of Gerrymandering
nytimes.com·7h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Viruses of the Mind
grokipedia.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Modelling beliefs about sets
emiruz.com·4d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Physicists Have Mathematically Proven the Universe Is Not a Simulation
scitechdaily.com·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1h·
Discuss: Substack
🦀Rust
Flag this post
The Evolutionary Argument Against Reality
quantamagazine.org·1d·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·1d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Study finds positive link between children's IQ and parental longevity
genomicpress.kglmeridian.com·1h·
Discuss: Hacker News
🧬Computational Biology
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·13h·
Discuss: Hacker News
🔺Computational Geometry
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·4h·
Discuss: Hacker News
🧬Computational Biology
Flag this post
Robert Hooke's "Cyberpunk” Letter to Gottfried Leibniz
mynamelowercase.com·1h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Podcast: Lenore Blum: AI Consciousness Is Inevitable
prism-global.com·31m·
Discuss: Hacker News
⚙Complex ststems
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·23h·
Discuss: Substack
📊Streaming ML
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·23h·
Discuss: Hacker News
📊Streaming ML
Flag this post
What Is Occult Grammar?
blog.izs.me·2h·
Discuss: Hacker News
⚙Complex ststems
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post